#include<stdio.h>
void main(){
	int a=100,b;
	for(b=10000;a<=b;b--){
		printf("%d\t",b);
	}
}
